#include<stdio.h>

int main(){
    int i = mul(2,6);
    printf("%d\n",i);
    return 0;
}
